1 7 Se p 20 04 Diamond ( on the regulars ) can fail at any strongly unfoldable cardinal
نویسندگان
چکیده
If κ is any strongly unfoldable cardinal, then this is preserved in a forcing extension in which 3κ(reg) fails. This result continues the progression of the corresponding results for weakly compact cardinals, due to Woodin, and for indescribable cardinals, due to Hauser.
منابع مشابه
Diamond (on the regulars) can fail at any strongly unfoldable cardinal
If κ is any strongly unfoldable cardinal, then this is preserved in a forcing extension in which 3κ(reg) fails. This result continues the progression of the corresponding results for weakly compact cardinals, due to Woodin, and for indescribable cardinals, due to Hauser.
متن کاملA class of strong diamond principles
In the context of large cardinals, the classical diamond principle 3κ is easily strengthened in natural ways. When κ is a measurable cardinal, for example, one might ask that a 3κ sequence anticipate every subset of κ not merely on a stationary set, but on a set of normal measure one. This is equivalent to the existence of a function ` ... κ → Vκ such that for any A ∈ H(κ) there is an embedding...
متن کاملStrongly unfoldable cardinals made indestructible
Strongly Unfoldable Cardinals Made Indestructible by Thomas A. Johnstone Advisor: Joel David Hamkins I provide indestructibility results for weakly compact, indescribable and strongly unfoldable cardinals. In order to make these large cardinals indestructible, I assume the existence of a strongly unfoldable cardinal κ, which is a hypothesis consistent with V = L. The main result shows that any ...
متن کاملThe Proper and Semi-proper Forcing Axioms for Forcing Notions That Preserve
We prove that the PFA lottery preparation of a strongly unfoldable cardinal κ under ¬0 forces PFA(א2-preserving), PFA(א3-preserving) and PFAא2 , with 2 ω = κ = א2. The method adapts to semi-proper forcing, giving SPFA(א2-preserving), SPFA(א3-preserving) and SPFAא2 from the same hypothesis. It follows by a result of Miyamoto that the existence of a strongly unfoldable cardinal is equiconsistent ...
متن کاملIndestructible Strong Unfoldability
Using the lottery preparation, we prove that any strongly unfoldable cardinal κ can be made indestructible by all <κ-closed κ+-preserving forcing. This degree of indestructibility, we prove, is the best possible from this hypothesis within the class of <κ-closed forcing. From a stronger hypothesis, however, we prove that the strong unfoldability of κ can be made indestructible by all <κ-closed ...
متن کامل